Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
301	MATH 22 Lecture A: [removed] Add to Reading List Source URL: www.larry.denenberg.com Language: English - Date: 2003-11-10 08:21:14 Mathematical proofs Proof theory Logical consequence Philosophical logic Mathematical induction Theorem Algorithm Entailment Proof of impossibility Logic Mathematics Mathematical logic
302	Dependently Typed Functional Programs and their Proofs Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-09-13 12:40:18 Type theory Data types Mathematical logic Dependently typed programming Functional languages Unification Functional programming Inductive data type Monad Software engineering Computer programming Computing
303	Formalization of the General Hoare Logic Laws Aleksandar Kupusinac 1, Dusan Malbaski 1 1 Add to Reading List Source URL: www.temjournal.com Language: English - Date: 2012-08-31 17:30:31 Predicate logic Program logic Model theory Mathematical proofs First-order logic Hoare logic Universal quantification Function Constructible universe Mathematical logic Mathematics Logic
304	Notes on Combinatorics Peter J. Cameron Add to Reading List Source URL: www.maths.qmul.ac.uk Language: English - Date: 2007-12-07 05:36:46 Integer sequences Enumerative combinatorics Mathematical proofs Permutations Binomial coefficient Combination Combinatorial proof Factorial Binomial theorem Mathematics Combinatorics Discrete mathematics
305	Probabilistic Checking of Proofs and Hardness of Approximation Problems Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2005-03-10 11:31:01 Probabilistic complexity theory Mathematical optimization Probabilistically checkable proof Sanjeev Arora PCP theorem Complexity classes MAX-3SAT Hardness of approximation NP Theoretical computer science Applied mathematics Computational complexity theory
306	CHAPTER 4 Direct Proof Add to Reading List Source URL: www.people.vcu.edu Language: English - Date: 2013-05-24 12:24:20 Mathematical proofs Number theory Modular arithmetic Least common multiple Greatest common divisor Direct proof Pythagorean theorem Theorem Fundamental theorem of arithmetic Mathematics Mathematical logic Multiplicative functions
307	Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2004-03-12 06:11:33 Propositional calculus Logical syntax Inference Logical truth Natural deduction Sequent calculus First-order logic Rule of inference Sequent Logic Mathematical logic Proof theory
308	Syntactic Proofs of Compositional Compiler Correctness Adam Chlipala Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2009-10-04 10:53:34 Lambda calculus Model theory Combinatory logic Fixed-point combinator Recursion Natural deduction Structure Formal language Mathematics Mathematical logic Theoretical computer science
309	PROOFS AND TYPES JEAN-YVES GIRARD Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:08:23 Proof theory Denotational semantics Natural deduction Linear logic Cut-elimination theorem Curry–Howard correspondence Lambda calculus Type theory Semantics Logic Mathematical logic Mathematics
310	Reports and Articles Social Processes and Proofs of Theorems Add to Reading List Source URL: www.csee.umbc.edu Language: English - Date: 2008-09-16 22:24:39 Formal methods Philosophy of mathematics Theoretical computer science Mathematical proof Formal verification Theorem Richard J. Lipton Algorithm Mathematical beauty Mathematics Logic Mathematical logic

UPDATE